logical form